Послание хейтерам

Как вы знаете, даже мем "Эрланг ебанаты" не вызвал такой бури эмоций у аудитории как последние два инцидента с "D ебанатом" и "Агда ебанатом" (условно, все совпадения случайны), там даже каскадное веерное отключение получилось на самом деле, интересная социальная механика.

Хотелось бы обобщить это всё, чтоб два раза не вставать, языков ведь много и, по-любому, у каждого найдется чувак, который захочет прийти ко мне в блог, или даже во все социальные сети где я зарегистрирован, и пытаться вести со мной какие-то контроверсии, навязывать мне какие-то правила и доказывать мою несостоятельность в чём то. Самое интересное, что это — феномен исключительно русской культуры, поэтому, например, нет никакого смысла писать этот пост на английском языке. Представить себе ситуацию, что англоязычный исследователь теории типов срет в каментах своего антагониста десятилетиями или приходит на все каналы своего научного оппонента и после объявленого бана начитает атаковать и торпедировать дайджестами с коэфициентом самоцитирования равным двум. Вы можете себе такое представить? Я нет.

Да, я понимаю, что кому-то может быть грустно от того, что такой малосмышленый туповатый программист гумманитарий пошел в Ph.D., декларирует каких-то студентов, ведет себя вызывающе и зарегистрировал домен с громким названием tonpa.guru. К сожалению ничего не могу с этим поделать, таков, увы, персонаж Максима в этом блоге, еще задолго до его истории, т.е. до 2009 года. Просто я подумал, что maxim уже не так вызывающе, нужно что-то более провокационное, я вспомнил что у меня есть диплом самого настоящего Тибетского Гуру и вуаля, новый, залифченый Максим, на радость публике и потеху хейтерам!

Есть разные хейтеры, последний оказался самым настоящий учёным, или, по-крайней мере, таковым себя считающим. Другим хейтерам объяснять бы я не стал, а вот учёному-хейтеру хочу напомнить, что научная деятельность — это прежде всего творчество и искусство, да, оно должно соблюдать некоторые правила, но если термы чекаются, то вроде как проблем возникать не должно. Я же ничего не скрываю, всё спорные места честно выделяю вставляя провокативные комментарии. Если есть вопросы о транспорте эти вопросы в готомотопической теории решаются либо построением транспорта либо доказательством что транспорта не существует, но ведь не все такие вопросы о транспортах разрешимы. А раз доказательств существования или не существования транспортов или их изоморфизмов в коде нет, то и обсуждать нечего. Вообще построение транспортов сложное дело, пока я у Ромы никаких транспортов серьезных не видел, сам то я несколько написал. Например можно построить транспорт между топосом и теорией множеств (в одну сторону), или между топосом и определением топологии (тоже в одну сторону), можно построить транспорт между Rezk-пополненой категорией и групоидом, но это сложные транспорты, также и сигму нужно транспортировать, не как заведомо ложную навязанную сущность, а как весь терм в черч кодировке!, ведь в этом терме закодировн паттерн индукции, а значит и транспортировать его нужно весь. Уверен, узора, как в топосе, хватит для того, чтобы из него построить всё остальное нужное для транспорта.

Теперь по поводу учеников. Теория типов для меня это сакральное действо и внутренний путь, и его экспозиция есть пример для подражания, передача личного опыта. Кроме того, теория типов для меня — это инструмент лучшего познания буддизма, медитации, и духовной реализации, а значит и средство передачи знания. Да, мне приходится обрамлять, всё это в виде статей, но внутренний смысл всего этого остается за пределами академии, в плоскости эзотеории и восточной философии. Моя задача записать мой путь и показать его, возможно найдется человек, которому это будет интересно, другие назовут это пургой, я сам учусь и хочу делиться со своими духовными друзьями своими нахождениями и своими экспериментами, своими упражнениями. Ученики в этом смысле — это не люди которые мне сдают по 5 рублей каждый месяц на обесценившийся биткоин кошелёк, а такие же программисты как и я, которые находят комфорт в моем обществе и вдохновляются моим примером, а я их. Для этого учитель не обязательно должен быть умнее, быстрее, выше, сильнее, или вообще уметь учить прямо преподавая предмет.

Поэтому, все свои программы дискредитации Максима в глазах своих учеников вы можете разворачивать на своих площадках, а я могу вам даже задонейтить для этого проекта домен с бюджетом $10 долларов в год, где вы регулярно будете публиковать свежие разоблачения фокусника и шарлатана Максима. Но, позвольте, дорогие друзья, приходить и срать во всех моих каналах своими дайджестами разоблачениями на моей территории я не то чтобы не хочу, просто не вижу в этом особого педагогического смысла, я стараюсь сохранить свои площадки в чистоте, чтобы люди которые приходили, не видели негатив, потому что у меня его нет ни по отношению к вам, ни к даже людям которые мне приставляли к голове пистолет. Я просто хочу чтобы мои площадки были гарантированно дружелюбны, поэтому каждого я проверяю лично на минимальное соотвествие западной цивилизации (хотя сам восточный будист, зараза). Просто для буддизма у меня есть другой канал, я все тематики тщательно разделил в рамках концепции keep you shit together, каждый может следить за моим творчеством в трех проекциях: n2o.dev, groupoid.space, и longchenpa.guru.

Напоминаю, еще раз подчёркиваю, последний раз говорю, больше поторять не буду: все эти проекты (или направления) я лично воспринимаю как акт творчества. Я нигде не подписываюсь "типовой теоретик", "математик", "программист", или "адепт функционального программирования" (я хочу напомнить, что я — быдлокодер, который пишет на эрланге). Я — гуманитарий, художник, артист, фотограф, писатель, эзотеорик, мистик. Приятно познакомиться. Во всех социальных сетях я именую себя Wandering Artist — это тот титул или та метка, которую я бы просил на меня навешивать, когда вам приходит мысль об очередном разоблачении. Я просто ищу формы для своего творчества, исследую это пространство, я хочу найти глубокие смыслы и экспериментирую со своим мышлением, с языками и термами, я не претендую ни на что, и могу абсолютно комфортно находится в изоляции и отвержении, как обществом в целом, так и научным в частности. С другой стороны, я отдаю себе отчет в том, что возможно у меня нет материалов на интересную диссертацию, но как говорится ещё не вечер, у меня есть ещё 3 года! В любом случае всё мое творчество — это пространство моего мышления и стремление попасть туда с помощью силы бессмысленно, это просто так не работает. Даже если моя Ph.D. будет неудачной я не буду жалеть о потраченом времени, потому что действительно получаю наслаждение от самообразования, самоисследования и длительного медитационного ментального путешествия которое я стараюсь каждый день посвящать всем живым существам.

Нижайший пидоро-червь Максим